" Freek Wiedijk" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science)

Freek Wiedijk

2.16 Mb

#2

Interactive Theorem Proving - ITP 2011

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

3.65 Mb

#3

The seventeen provers of the world

Freek Wiedijk

1.35 Mb

#4

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Freek Wiedijk

1.33 Mb

#5

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Freek Wiedijk, Oded Maler, Amir Pnueli

9.00 Mb

#6

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Herman Geuvers, Freek Wiedijk

2.94 Mb

#7

The Seventeen Provers of the World: Foreword by Dana S. Scott

Freek Wiedijk

1.33 Mb